Search Results
ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs - Raul-Martin Rebane (Cybernetica)
20170912 - Domain-Specific Languages for Convex Optimization
